Nuprl Definition : prop
13,42
postcript
pdf
== Type
latex
clarification:
{i} == Type{i}
latex
Up
core
2
,
core
2
Definitions
Type
FDL editor aliases
prop
origin
== Type
{i} == Type{i} == Type
{i} == Type{i}